Concurrency computer science) - PDFSEARCH.IO - Document Search Engine

Concurrency computer science)
Results: 359

#	Item
81	2011 Informatics Europe Curriculum Best Practices Award Parallelism and Concurrency Add to Reading List Source URL: www.informatics-europe.org Language: English - Date: 1979-11-30 00:00:00 Computer science Mordechai Ben-Ari Knowledge Informatics Europe Science Informatics
82	Categories and Subject Descriptors D.2.4 [Software Engineering]: Software/Program Verification; D.2.5 [Software Engineering]: Testing and Debugging Keywords Asynchronous programming; state machines; concurrency; static d Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2015-04-20 15:35:55 Actuarial science Econometrics Regression analysis Algorithm Parallel computing IP Actor model Applied mathematics Mathematics Theoretical computer science
83	Concurrency Attacks Junfeng Yang, Ang Cui, Sal Stolfo, Simha Sethumadhavan {junfeng, ang, sal, simha}cs.columbia.edu Department of Computer Science Columbia University Add to Reading List Source URL: www.redballoonsecurity.com Language: English - Date: 2014-02-27 21:40:35 Computer programming Software quality Concurrency control Transaction processing Actor model Concurrency Thread Time of check to time of use Vulnerability Computing Software bugs Concurrent computing
84	Notes on Theory of Distributed Systems CS: Spring 2014 James Aspnes:02 Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2014-05-02 18:02:39 Concurrency control Consensus Probabilistic complexity theory Algorithm Synchronizer Non-blocking algorithm PP Distributed computing Randomized algorithm Theoretical computer science Computational complexity theory Applied mathematics
85	Opportunities and pitfalls of multi-core scaling using Hardware Transaction Memory∗ Zhaoguo Wang†, Hao Qian‡, Haibo Chen‡, Jinyang Li§ † School of Computer Science, Fudan University ‡ Institute of Parallel a Add to Reading List Source URL: news.cs.nyu.edu Language: English - Date: 2013-07-16 15:24:14 Computing Data Software transactional memory Rock Non-blocking algorithm CPU cache Transactional memory Parallel computing Linearizability Concurrency control Transaction processing Data management
86	Efficient Concurrency-Bug Detection Across Inputs Dongdong Deng Wei Zhang Shan Lu Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2013-08-04 18:25:14 Computing Theoretical computer science Computer programming Logic in computer science Software testing Linearizability Race condition Atomicity Lock Software bugs Transaction processing Concurrency control
87	Using Restricted Transactional Memory to Build a Scalable In-Memory Database Zhaoguo Wang†, Hao Qian‡, Jinyang Li§, Haibo Chen‡ † School of Computer Science, Fudan University ‡ Institute of Parallel and Distri Add to Reading List Source URL: news.cs.nyu.edu Language: English - Date: 2014-07-24 14:38:57 Data Information Databases Computer memory Software transactional memory Serializability Linearizability Extensible Storage Engine Database transaction Transaction processing Data management Concurrency control
88	Electronic Notes in Theoretical Computer Science 89 NoURL: http://www.elsevier.nl/locate/entcs/volume89.html 14 pages Automatically Verifying Concurrent Queue Algorithms Eran Yahav Mooly Sagiv Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2004-11-16 12:34:30 Scheduling algorithms Mathematics Concurrency control Cybernetics FIFO Inter-process communication Linearizability Linked list Scheduling Abstract data types Computing Concurrent computing
89	Automatic Synthesis of Deterministic Concurrency Veselin Raychev1 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich {veselin.raychev,martin.vechev}@inf.ethz.ch Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2013-08-20 04:50:41 Concurrent computing Thread Synchronization Deadlock Parallel computing Algorithm Lock Mutual exclusion Computer programming Concurrency Computing Computer science
90	Yale University Department of Computer Science A one-bit swap object using test-and-sets and a max register James Aspnes1 Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2015-04-30 10:34:00 Computer architecture Linearizability Read-modify-write Swap Test-and-set Dc Concurrency control Computing Computer programming

UPDATE